reduction of structure group

[数] 结构群约化